Verification theory - PDFSEARCH.IO - Document Search Engine

Verification theory
Results: 377

#	Item
11	predicate logic logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:18 Logic Mathematical logic Predicate logic Propositional calculus Model theory Syntax First-order logic Well-formed formula Proposition Functional predicate Predicate variable Universal quantification
12	Reliable Computing 4: 1-5, 1998 A NOTE ON EPSILON-INFLATION S. M. RUMP∗ Abstract. The epsilon-inflation proved to be useful and necessary in many verification algorithms. Different definitions of an epsilon-inflation a Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2005-11-23 04:37:42
13	Observation Strategies for Event Detection with Incidence on Runtime Verification Marco Alberti1 , Pierangelo Dell’Acqua2 , and Lu´ıs Moniz Pereira1 1 Centro de Inteligˆencia Artificial (CENTRIA), Departamento de I Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-18 09:19:26 Algebraic geometry Field theory Valuation Polar coordinate system
14	Verification of Markov Decision Processes using Learning Algorithms? Tom´asˇ Br´azdil1 , Krishnendu Chatterjee2 , Martin Chmel´ık2 , Vojtˇech Forejt3 , Jan Kˇret´ınsk´y2 , Marta Kwiatkowska3 , David Parker4 , a Add to Reading List Source URL: www.hieratic.eu Language: English Computational complexity theory Theory of computation Dynamic programming Markov decision process Stochastic control Analysis of algorithms Mathematical logic Reinforcement learning Time complexity Algorithm PP
15	On the Verification of Timed Ad Hoc Networks Parosh Aziz Abdulla1 , Giorgio Delzanno2 , Othmane Rezine1 , Arnaud Sangnier3⋆ , and Riccardo Traverso2 1 Uppsala University Add to Reading List Source URL: verify.disi.unige.it Language: English - Date: 2012-11-13 20:01:41 Timed automaton Base Topology Routing algorithms Network theory
16	Dynamic Trace Logic: Definition and Proofs? Bernhard Beckert and Daniel Bruns?? Karlsruhe Institute of Technology, Department of Informatics Abstract. Dynamic logic is an established instrument for program verification a Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2014-03-13 08:30:05 Automated theorem proving Proof theory Symbol Sequent Substitution First-order logic Hoare logic Method of analytic tableaux Polar coordinate system
17	propositional logic logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:29 Type theory Automated theorem proving Logic in computer science Formal methods Proof assistants Coq CurryHoward correspondence Lambda calculus Propositional calculus First-order logic
18	Exam Logical Verification December 18, 2008 There are six (6) exercises. Answers may be given in Dutch or English. Good luck! Exercise 1. This exercise is concerned with first-order propositional logic (prop1) and simply Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Mathematical logic Type theory Formal methods Classical logic Metalogic Lambda calculus First-order logic Propositional calculus Tautology Dependent type Well-formed formula Logic programming
19	A Presentation of the Specification And Verification Project “ABEL”∗ Ole-Johan Dahl and Olaf Owe Department of Informatics University of Oslo Norway Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2015-09-03 07:24:29 Model theory First-order logic Type Hoare logic Unification
20	simply typed λ-calculus logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:12 Lambda calculus Anonymous function Currying Simply typed lambda calculus Type theory Function Combinatory logic Partial application

UPDATE